Courses Catalogue
- Home /
- Course Catalogue /
- Formal Methods In Software Engr
Formal Methods In Software Engr
Course Code: CSC 432
Credit Unit: 3
Academic Programme: Bachelor of Science Degree in Computer Science
Faculty: Computer Science
Status: Elective
Programme Type: Bachelor
Course Content and Outline
Latest News
-
FUL Management Suspends Lecturer over Alleged Sexual Harassment, Commences Full-scale Investigation
May 10, 2024, 4:53 pm -
FUL, CAR-NASRDA Organize 1st International Conference on Atmospheric, Earth and Space Sciences Sept 22-25, 2024
May 10, 2024, 3:56 pm -
Register for a One-Day Workshop on 'Empowering Scholars with Generative Artificial Intelligence' - 23 May 2024
May 10, 2024, 3:09 pm -
PHOTOS: Polish Ambassador to Nigeria, Joanna Tarnawska, Delivers FUL's 6th Public Lecture
May 8, 2024, 1:51 pm -
Important Notice to Students on Exam Rules and Regulations
April 13, 2024, 6:30 pm -
Eid-el-Fitr: FUL VC, Prof. Akinwumi Sends Message to Staff and Students
April 10, 2024, 9:30 am -
No Lassa Fever Case in FUL as Varsity Medical Center Issues Health Advisory
April 9, 2024, 3:17 pm -
Drug Abuse and its Consequences by Pharm (Mrs) Kudirat Nasiru - FUL Health Corner
April 5, 2024, 11:34 pm